منابع مشابه
Higher-order semantics and extensionality
In this paper we re-examine the semantics of classical higher-order logic with the purpose of clarifying the role of extensionality. To reach this goal, we distinguish nine classes of higher-order models with respect to various combinations of Boolean extensionality and three forms of functional extensionality. Furthermore, we develop a methodology of abstract consistency methods (by providing ...
متن کاملSemantics as information about semantic values
I suggest that the core ideas of Kit Fine’s Semantic Relationism are the notion of semantic requirement and the notion of manifest consequence, the non-classical logical relation associated with semantic requirement. Surrounding this core are novel “relational” systems of coordinated sequences of expressions, relational (as opposed to intrinsic) semantic values, coordinated propositions, and co...
متن کاملHigher-Order and Semantic Unification
Abstrac t . We provide a complete system of transformation rules for semantic unification with respect to theories defined by convergent rewrite systems. We show that this standard unification procedure, with slight modifications, can be used to solve the satisfiability problem in combinatory logic with a convergent set of algebraic axioms R, thus resulting in a complete higher-order unificatio...
متن کاملA monotonic Higher - Order Semantic
There is an increasing use of ((rst-and higher-order) rewrite rules in many programming languages and logical systems. The recursive path ordering (RPO) is a well-known tool for proving termination of such rewrite rules in the rst-order case Der82]. However, RPO has some weaknesses. For instance, since it is a simpliication ordering, it can only handle simply terminating systems. Several techni...
متن کاملFirst Order vs. Higher Order Modification in Distributional Semantics
Adjectival modification, particularly by expressions that have been treated as higherorder modifiers in the formal semantics tradition, raises interesting challenges for semantic composition in distributional semantic models. We contrast three types of adjectival modifiers – intersectively used color terms (as in white towel, clearly first-order), subsectively used color terms (white wine, whic...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
ژورنال
عنوان ژورنال: Philosophical Studies
سال: 2013
ISSN: 0031-8116,1573-0883
DOI: 10.1007/s11098-013-0157-z